home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / ada / adaed-1.11 / adaed-1 / Adaed-1.11.0a / acttoks.c < prev    next >
Encoding:
C/C++ Source or Header  |  1992-02-07  |  19.6 KB  |  1,676 lines
  1. /*
  2.  * Copyright (C) 1985-1992  New York University
  3.  * 
  4.  * This file is part of the Ada/Ed-C system.  See the Ada/Ed README file for
  5.  * warranty (none) and distribution info and also the GNU General Public
  6.  * License for more details.
  7.  
  8.  */
  9. #include "config.h"
  10. #ifndef IBM_PC
  11. int ACTION_TOKENS[] = {
  12. #else
  13. char ACTION_TOKENS[] = {
  14. #endif
  15. /* 1 */
  16. /* 2 */
  17. /* 3 */     43
  18. /* 4 */ , 63 , 42 , 45 , 54 , 26 , 27
  19. /* 5 */
  20. /* 6 */ , 65
  21. /* 7 */
  22. /* 8 */ , 63
  23. /* 9 */ , 42 , 45 , 54 , 27 , 26
  24. /* 10 */ , 71
  25. /* 11 */ , 43
  26. /* 12 */
  27. /* 13 */ , 65
  28. /* 14 */
  29. /* 15 */
  30. /* 16 */ , 80
  31. /* 17 */
  32. /* 18 */ , 42 , 45 , 26
  33. /* 19 */ , 80
  34. /* 20 */ , 80 , 31
  35. /* 21 */ , 65
  36. /* 22 */ , 67 , 65
  37. /* 23 */
  38. /* 24 */
  39. /* 25 */
  40. /* 26 */
  41. /* 27 */
  42. /* 28 */ , 71
  43. /* 29 */
  44. /* 30 */ , 65 , 11
  45. /* 31 */
  46. /* 32 */
  47. /* 33 */ , 80
  48. /* 34 */ , 66 , 3 , 35 , 65 , 67 , 68 , 37 , 36 , 71 , 74 , 76
  49. /* 35 */ , 43
  50. /* 36 */ , 60
  51. /* 37 */
  52. /* 38 */
  53. /* 39 */
  54. /* 40 */ , 63 , 65 , 59
  55. /* 41 */
  56. /* 42 */
  57. /* 43 */ , 67 , 65
  58. /* 44 */ , 65
  59. /* 45 */
  60. /* 46 */ , 35
  61. /* 47 */
  62. /* 48 */ , 71
  63. /* 49 */ , 71 , 31
  64. /* 50 */
  65. /* 51 */
  66. /* 52 */
  67. /* 53 */ , 65
  68. /* 54 */ , 65
  69. /* 55 */ , 31
  70. /* 56 */
  71. /* 57 */
  72. /* 58 */
  73. /* 59 */
  74. /* 60 */ , 87
  75. /* 61 */ , 68 , 37 , 35 , 65 , 66 , 67 , 71
  76. /* 62 */ , 68 , 37 , 67 , 66 , 65 , 35 , 71
  77. /* 63 */ , 65
  78. /* 64 */
  79. /* 65 */
  80. /* 66 */
  81. /* 67 */
  82. /* 68 */
  83. /* 69 */
  84. /* 70 */ , 35 , 3 , 65 , 66 , 68 , 37 , 36 , 67 , 71 , 40 , 74 , 76
  85. /* 71 */
  86. /* 72 */
  87. /* 73 */
  88. /* 74 */ , 70 , 71 , 77
  89. /* 75 */
  90. /* 76 */
  91. /* 77 */
  92. /* 78 */ , 78 , 73 , 34 , 49
  93. /* 79 */
  94. /* 80 */ , 65 , 3 , 35 , 66 , 37 , 36 , 68 , 67 , 71
  95. /* 81 */ , 69 , 74 , 76
  96. /* 82 */ , 64 , 33 , 36 , 7 , 39 , 72 , 75 , 80 , 81 , 82 , 83 , 85 , 58 , 89 , 90 , 91 , 30 , 31
  97. /* 83 */ , 7
  98. /* 84 */ , 39
  99. /* 85 */ , 64
  100. /* 86 */ , 7
  101. /* 87 */ , 64 , 39 , 7
  102. /* 88 */ , 39
  103. /* 89 */
  104. /* 90 */ , 85
  105. /* 91 */
  106. /* 92 */ , 75 , 72
  107. /* 93 */
  108. /* 94 */ , 65
  109. /* 95 */ , 75 , 80
  110. /* 96 */
  111. /* 97 */
  112. /* 98 */ , 79
  113. /* 99 */ , 65
  114. /* 100 */
  115. /* 101 */ , 45 , 26
  116. /* 102 */ , 71
  117. /* 103 */ , 31
  118. /* 104 */ , 65
  119. /* 105 */ , 10
  120. /* 106 */ , 43
  121. /* 107 */ , 65 , 42 , 45 , 25 , 55 , 56 , 26 , 27 , 60 , 59
  122. /* 108 */
  123. /* 109 */ , 65
  124. /* 110 */
  125. /* 111 */ , 35
  126. /* 112 */ , 51
  127. /* 113 */
  128. /* 114 */ , 77 , 72
  129. /* 115 */ , 31
  130. /* 116 */ , 35
  131. /* 117 */
  132. /* 118 */ , 68 , 66 , 67 , 65 , 35 , 37 , 71
  133. /* 119 */
  134. /* 120 */
  135. /* 121 */ , 70 , 71 , 77
  136. /* 122 */
  137. /* 123 */
  138. /* 124 */
  139. /* 125 */ , 77 , 47 , 70 , 71
  140. /* 126 */
  141. /* 127 */ , 64 , 36 , 7 , 39 , 72 , 75 , 81 , 82 , 83 , 84 , 85 , 86 , 90 , 89 , 91 , 30
  142. /* 128 */
  143. /* 129 */
  144. /* 130 */
  145. /* 131 */ , 65 , 47 , 71 , 17 , 16
  146. /* 132 */ , 6 , 65 , 67 , 68
  147. /* 133 */
  148. /* 134 */ , 66 , 65 , 3 , 35 , 67 , 68 , 36 , 37 , 40 , 74 , 71 , 76
  149. /* 135 */ , 3 , 66 , 35 , 65 , 67 , 36 , 37 , 68 , 71
  150. /* 136 */
  151. /* 137 */
  152. /* 138 */
  153. /* 139 */
  154. /* 140 */
  155. /* 141 */ , 3 , 35 , 65 , 66 , 36 , 67 , 37 , 68 , 71
  156. /* 142 */
  157. /* 143 */
  158. /* 144 */
  159. /* 145 */ , 30
  160. /* 146 */
  161. /* 147 */
  162. /* 148 */
  163. /* 149 */
  164. /* 150 */
  165. /* 151 */
  166. /* 152 */
  167. /* 153 */ , 35 , 66 , 3 , 65 , 36 , 37 , 67 , 68 , 71 , 74 , 76
  168. /* 154 */
  169. /* 155 */ , 66 , 3 , 35 , 65 , 67 , 68 , 37 , 36 , 71 , 74 , 76
  170. /* 156 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  171. /* 157 */ , 65 , 66 , 35 , 3 , 67 , 68 , 36 , 37 , 71 , 74 , 76
  172. /* 158 */ , 58
  173. /* 159 */ , 3 , 65 , 66 , 35 , 37 , 68 , 67 , 36 , 71 , 74 , 76
  174. /* 160 */ , 66 , 3 , 35 , 65 , 68 , 67 , 37 , 36 , 74 , 71 , 76 , 19
  175. /* 161 */ , 35 , 3 , 65 , 66 , 67 , 36 , 68 , 37 , 74 , 71 , 76 , 58
  176. /* 162 */ , 19
  177. /* 163 */ , 35 , 3 , 65 , 66 , 36 , 67 , 68 , 37 , 74 , 71 , 76
  178. /* 164 */ , 35 , 3 , 66 , 65 , 37 , 67 , 36 , 68 , 74 , 71 , 76
  179. /* 165 */
  180. /* 166 */ , 43
  181. /* 167 */ , 77
  182. /* 168 */ , 65
  183. /* 169 */
  184. /* 170 */ , 75
  185. /* 171 */ , 30
  186. /* 172 */ , 71 , 31
  187. /* 173 */ , 31
  188. /* 174 */
  189. /* 175 */ , 77 , 71
  190. /* 176 */
  191. /* 177 */
  192. /* 178 */
  193. /* 179 */
  194. /* 180 */
  195. /* 181 */
  196. /* 182 */
  197. /* 183 */
  198. /* 184 */
  199. /* 185 */
  200. /* 186 */
  201. /* 187 */
  202. /* 188 */ , 68 , 65 , 67
  203. /* 189 */
  204. /* 190 */
  205. /* 191 */
  206. /* 192 */
  207. /* 193 */
  208. /* 194 */
  209. /* 195 */
  210. /* 196 */
  211. /* 197 */
  212. /* 198 */
  213. /* 199 */
  214. /* 200 */ , 65
  215. /* 201 */
  216. /* 202 */
  217. /* 203 */
  218. /* 204 */ , 65
  219. /* 205 */ , 11 , 59
  220. /* 206 */ , 80
  221. /* 207 */ , 79
  222. /* 208 */ , 50
  223. /* 209 */ , 50
  224. /* 210 */ , 65 , 11
  225. /* 211 */ , 50 , 80 , 31
  226. /* 212 */
  227. /* 213 */
  228. /* 214 */
  229. /* 215 */
  230. /* 216 */
  231. /* 217 */ , 79
  232. /* 218 */ , 65
  233. /* 219 */ , 65
  234. /* 220 */ , 65
  235. /* 221 */ , 42 , 45 , 56 , 26
  236. /* 222 */
  237. /* 223 */ , 65
  238. /* 224 */ , 65 , 42 , 45 , 44 , 27 , 25 , 55 , 26 , 56 , 59 , 60
  239. /* 225 */
  240. /* 226 */ , 71
  241. /* 227 */
  242. /* 228 */ , 72 , 75
  243. /* 229 */ , 84 , 85
  244. /* 230 */
  245. /* 231 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  246. /* 232 */ , 66 , 65 , 3 , 35 , 36 , 67 , 68 , 37 , 74 , 71 , 76
  247. /* 233 */
  248. /* 234 */
  249. /* 235 */
  250. /* 236 */
  251. /* 237 */
  252. /* 238 */
  253. /* 239 */
  254. /* 240 */
  255. /* 241 */
  256. /* 242 */
  257. /* 243 */
  258. /* 244 */
  259. /* 245 */
  260. /* 246 */ , 64 , 7 , 39 , 36 , 72 , 75 , 82 , 81 , 86 , 83 , 85 , 84 , 90 , 89 , 91 , 30
  261. /* 247 */ , 71 , 47 , 77 , 70
  262. /* 248 */
  263. /* 249 */
  264. /* 250 */ , 3 , 65 , 66 , 35 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  265. /* 251 */
  266. /* 252 */
  267. /* 253 */
  268. /* 254 */
  269. /* 255 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  270. /* 256 */
  271. /* 257 */ , 35 , 65 , 3 , 66 , 36 , 67 , 37 , 68 , 74 , 71 , 76
  272. /* 258 */
  273. /* 259 */ , 66 , 65 , 3 , 35 , 36 , 67 , 37 , 68 , 74 , 71 , 76
  274. /* 260 */
  275. /* 261 */ , 3 , 35 , 65 , 66 , 68 , 67 , 36 , 37 , 74 , 71 , 76
  276. /* 262 */
  277. /* 263 */
  278. /* 264 */ , 80 , 75
  279. /* 265 */
  280. /* 266 */ , 65
  281. /* 267 */ , 65
  282. /* 268 */
  283. /* 269 */ , 41
  284. /* 270 */ , 32
  285. /* 271 */ , 65
  286. /* 272 */ , 5 , 71 , 8 , 47 , 16 , 17
  287. /* 273 */ , 31
  288. /* 274 */ , 80
  289. /* 275 */ , 65 , 68 , 67 , 94
  290. /* 276 */ , 80
  291. /* 277 */ , 65 , 3 , 35 , 66 , 37 , 68 , 36 , 67 , 74 , 71 , 76
  292. /* 278 */
  293. /* 279 */ , 23
  294. /* 280 */ , 43
  295. /* 281 */ , 43
  296. /* 282 */ , 60
  297. /* 283 */ , 60
  298. /* 284 */ , 77 , 70 , 71
  299. /* 285 */ , 71 , 80 , 31
  300. /* 286 */ , 31
  301. /* 287 */ , 65
  302. /* 288 */ , 65
  303. /* 289 */
  304. /* 290 */
  305. /* 291 */ , 65 , 13 , 23
  306. /* 292 */ , 65 , 67 , 68
  307. /* 293 */ , 65
  308. /* 294 */ , 65
  309. /* 295 */ , 50 , 31
  310. /* 296 */ , 67 , 65 , 68
  311. /* 297 */ , 54 , 35
  312. /* 298 */ , 72 , 80
  313. /* 299 */ , 41 , 30
  314. /* 300 */ , 77 , 71
  315. /* 301 */ , 77
  316. /* 302 */
  317. /* 303 */
  318. /* 304 */ , 11
  319. /* 305 */ , 11
  320. /* 306 */ , 31
  321. /* 307 */ , 10 , 21
  322. /* 308 */ , 77 , 71
  323. /* 309 */ , 21
  324. /* 310 */
  325. /* 311 */
  326. /* 312 */ , 65 , 3 , 35 , 66 , 68 , 37 , 36 , 67 , 71 , 40 , 74 , 76
  327. /* 313 */
  328. /* 314 */ , 35 , 3 , 65 , 66 , 68 , 36 , 37 , 67 , 71 , 74 , 76
  329. /* 315 */ , 66 , 65 , 35 , 3 , 67 , 68 , 37 , 36 , 71 , 40 , 74 , 76
  330. /* 316 */
  331. /* 317 */ , 86
  332. /* 318 */
  333. /* 319 */ , 75 , 72
  334. /* 320 */ , 65 , 3 , 66 , 35 , 37 , 36 , 68 , 67 , 74 , 71 , 76
  335. /* 321 */ , 75 , 72 , 85 , 84
  336. /* 322 */
  337. /* 323 */
  338. /* 324 */
  339. /* 325 */
  340. /* 326 */
  341. /* 327 */ , 65
  342. /* 328 */
  343. /* 329 */
  344. /* 330 */ , 88 , 77
  345. /* 331 */
  346. /* 332 */ , 44
  347. /* 333 */
  348. /* 334 */
  349. /* 335 */ , 79
  350. /* 336 */ , 80
  351. /* 337 */ , 65
  352. /* 338 */
  353. /* 339 */
  354. /* 340 */ , 71
  355. /* 341 */ , 94
  356. /* 342 */ , 94
  357. /* 343 */ , 94
  358. /* 344 */ , 94
  359. /* 345 */
  360. /* 346 */
  361. /* 347 */
  362. /* 348 */
  363. /* 349 */
  364. /* 350 */ , 77 , 70 , 71
  365. /* 351 */
  366. /* 352 */
  367. /* 353 */
  368. /* 354 */ , 85
  369. /* 355 */
  370. /* 356 */ , 64 , 34 , 36 , 39 , 69 , 7 , 70 , 72 , 71 , 74 , 73 , 76 , 75 , 77 , 78 , 49 , 81 , 82 , 83 , 85 , 87 , 89 , 90 , 91 , 30
  371.  
  372. /* 357 */ , 64 , 34 , 36 , 69 , 39 , 7 , 70 , 72 , 71 , 73 , 74 , 75 , 76 , 78 , 77 , 49 , 81 , 82 , 83 , 85 , 87 , 89 , 90 , 91 , 30
  373.  
  374. /* 358 */
  375. /* 359 */ , 21
  376. /* 360 */
  377. /* 361 */
  378. /* 362 */ , 65 , 2 , 67 , 37 , 68 , 4 , 15 , 12 , 46 , 53 , 51 , 24 , 92 , 28 , 29
  379. /* 363 */ , 71 , 9 , 48
  380. /* 364 */ , 66 , 65 , 35 , 3 , 37 , 36 , 68 , 67 , 71 , 74 , 76
  381. /* 365 */ , 47 , 65 , 16 , 17
  382. /* 366 */
  383. /* 367 */ , 32 , 35 , 5 , 8 , 71 , 47 , 48 , 17 , 16
  384. /* 368 */
  385. /* 369 */
  386. /* 370 */ , 31 , 80
  387. /* 371 */ , 65
  388. /* 372 */ , 31
  389. /* 373 */ , 31
  390. /* 374 */ , 80
  391. /* 375 */ , 8
  392. /* 376 */ , 88
  393. /* 377 */ , 71 , 47 , 77 , 50 , 17 , 16 , 80 , 88
  394. /* 378 */ , 65 , 88
  395. /* 379 */ , 70 , 71 , 77 , 80
  396. /* 380 */ , 80 , 77
  397. /* 381 */ , 31
  398. /* 382 */ , 65
  399. /* 383 */ , 70 , 71 , 77 , 80
  400. /* 384 */ , 80
  401. /* 385 */ , 65
  402. /* 386 */
  403. /* 387 */ , 65
  404. /* 388 */
  405. /* 389 */ , 41
  406. /* 390 */
  407. /* 391 */ , 80
  408. /* 392 */ , 65
  409. /* 393 */
  410. /* 394 */
  411. /* 395 */ , 65
  412. /* 396 */ , 80
  413. /* 397 */ , 65
  414. /* 398 */ , 65 , 42 , 45 , 56 , 55 , 25 , 26 , 27 , 59 , 60
  415. /* 399 */
  416. /* 400 */
  417. /* 401 */
  418. /* 402 */ , 66 , 65 , 35 , 3 , 67 , 68 , 37 , 36 , 74 , 40 , 71 , 76
  419. /* 403 */
  420. /* 404 */ , 75 , 72 , 84 , 85
  421. /* 405 */ , 77
  422. /* 406 */ , 80
  423. /* 407 */ , 66 , 3 , 65 , 35 , 37 , 36 , 68 , 67 , 71 , 74 , 76
  424. /* 408 */ , 80
  425. /* 409 */ , 72 , 80
  426. /* 410 */ , 65
  427. /* 411 */
  428. /* 412 */
  429. /* 413 */ , 77 , 47 , 71 , 17 , 16
  430. /* 414 */ , 38
  431. /* 415 */ , 35 , 3 , 65 , 66 , 36 , 67 , 37 , 68 , 74 , 71 , 76
  432. /* 416 */ , 72
  433. /* 417 */
  434. /* 418 */
  435. /* 419 */
  436. /* 420 */ , 75 , 72
  437. /* 421 */ , 3 , 65 , 66 , 35 , 68 , 67 , 36 , 37 , 74 , 71 , 76
  438. /* 422 */ , 67 , 65
  439. /* 423 */ , 43 , 61
  440. /* 424 */ , 43
  441. /* 425 */ , 33 , 2 , 65 , 37 , 4 , 67 , 68 , 39 , 10 , 12 , 14 , 46 , 15 , 19 , 20 , 21 , 51 , 23 , 53 , 24 , 25 , 28 , 29 , 92 , 62
  442. , 61
  443. /* 426 */
  444. /* 427 */
  445. /* 428 */
  446. /* 429 */ , 65
  447. /* 430 */ , 65 , 68 , 67
  448. /* 431 */ , 66 , 35 , 65 , 3 , 68 , 67 , 36 , 37 , 74 , 71 , 76
  449. /* 432 */ , 65
  450. /* 433 */ , 3 , 65 , 35 , 66 , 36 , 67 , 37 , 68 , 74 , 71 , 76
  451. /* 434 */ , 65
  452. /* 435 */ , 70 , 71 , 77 , 80 , 88
  453. /* 436 */ , 80
  454. /* 437 */
  455. /* 438 */
  456. /* 439 */
  457. /* 440 */
  458. /* 441 */
  459. /* 442 */
  460. /* 443 */
  461. /* 444 */
  462. /* 445 */
  463. /* 446 */
  464. /* 447 */
  465. /* 448 */
  466. /* 449 */
  467. /* 450 */
  468. /* 451 */ , 65
  469. /* 452 */ , 33 , 10 , 14 , 62 , 25
  470. /* 453 */ , 79
  471. /* 454 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 71 , 74 , 76
  472. /* 455 */ , 66 , 65 , 3 , 35 , 37 , 67 , 68 , 36 , 74 , 71 , 76
  473. /* 456 */
  474. /* 457 */
  475. /* 458 */
  476. /* 459 */
  477. /* 460 */
  478. /* 461 */
  479. /* 462 */ , 65
  480. /* 463 */ , 66 , 3 , 65 , 35 , 67 , 36 , 68 , 37 , 74 , 71 , 76
  481. /* 464 */
  482. /* 465 */ , 80
  483. /* 466 */ , 80
  484. /* 467 */ , 80
  485. /* 468 */ , 65
  486. /* 469 */
  487. /* 470 */
  488. /* 471 */
  489. /* 472 */ , 65 , 66 , 3 , 35 , 37 , 36 , 67 , 68 , 71 , 74 , 76
  490. /* 473 */ , 47
  491. /* 474 */ , 66 , 3 , 65 , 35 , 68 , 67 , 37 , 36 , 71 , 74 , 76
  492. /* 475 */ , 47
  493. /* 476 */
  494. /* 477 */ , 68 , 65
  495. /* 478 */
  496. /* 479 */
  497. /* 480 */
  498. /* 481 */
  499. /* 482 */
  500. /* 483 */
  501. /* 484 */
  502. /* 485 */
  503. /* 486 */ , 80
  504. /* 487 */ , 54
  505. /* 488 */
  506. /* 489 */
  507. /* 490 */ , 88
  508. /* 491 */ , 71
  509. /* 492 */ , 80
  510. /* 493 */
  511. /* 494 */
  512. /* 495 */
  513. /* 496 */
  514. /* 497 */
  515. /* 498 */
  516. /* 499 */ , 35 , 3 , 65 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  517. /* 500 */ , 88
  518. /* 501 */
  519. /* 502 */
  520. /* 503 */ , 54
  521. /* 504 */ , 80 , 77
  522. /* 505 */
  523. /* 506 */
  524. /* 507 */
  525. /* 508 */ , 77 , 88
  526. /* 509 */
  527. /* 510 */
  528. /* 511 */ , 31
  529. /* 512 */ , 23
  530. /* 513 */ , 80
  531. /* 514 */
  532. /* 515 */
  533. /* 516 */
  534. /* 517 */
  535. /* 518 */
  536. /* 519 */
  537. /* 520 */
  538. /* 521 */ , 65
  539. /* 522 */
  540. /* 523 */ , 77 , 88
  541. /* 524 */ , 65
  542. /* 525 */
  543. /* 526 */
  544. /* 527 */ , 77 , 47 , 70 , 71
  545. /* 528 */
  546. /* 529 */ , 3 , 66 , 65 , 35 , 36 , 37 , 67 , 68 , 71 , 74 , 76
  547. /* 530 */
  548. /* 531 */
  549. /* 532 */ , 80
  550. /* 533 */
  551. /* 534 */ , 65 , 40
  552. /* 535 */
  553. /* 536 */ , 61
  554. /* 537 */
  555. /* 538 */ , 80
  556. /* 539 */ , 77
  557. /* 540 */ , 77 , 70 , 71
  558. /* 541 */ , 80
  559. /* 542 */ , 80 , 77
  560. /* 543 */ , 80
  561. /* 544 */
  562. /* 545 */ , 61
  563. /* 546 */
  564. /* 547 */ , 66 , 3 , 65 , 35 , 37 , 68 , 67 , 36 , 71 , 74 , 76
  565. /* 548 */ , 65 , 71 , 47 , 17 , 16
  566. /* 549 */
  567. /* 550 */ , 65 , 68 , 67 , 43 , 61
  568. /* 551 */ , 71
  569. /* 552 */ , 10
  570. /* 553 */ , 33
  571. /* 554 */ , 66 , 65 , 3 , 35 , 36 , 37 , 67 , 68 , 74 , 71 , 76
  572. /* 555 */ , 65
  573. /* 556 */
  574. /* 557 */
  575. /* 558 */
  576. /* 559 */ , 31
  577. /* 560 */ , 58
  578. /* 561 */
  579. /* 562 */ , 93
  580. /* 563 */ , 80
  581. /* 564 */
  582. /* 565 */ , 43 , 9
  583. /* 566 */
  584. /* 567 */
  585. /* 568 */
  586. /* 569 */
  587. /* 570 */ , 21
  588. /* 571 */ , 43 , 37
  589. /* 572 */
  590. /* 573 */
  591. /* 574 */
  592. /* 575 */
  593. /* 576 */
  594. /* 577 */
  595. /* 578 */
  596. /* 579 */
  597. /* 580 */
  598. /* 581 */
  599. /* 582 */ , 80
  600. /* 583 */ , 10
  601. /* 584 */ , 43
  602. /* 585 */ , 22
  603. /* 586 */ , 80
  604. /* 587 */ , 35 , 65 , 3 , 66 , 68 , 67 , 36 , 37 , 74 , 71 , 76
  605. /* 588 */
  606. /* 589 */ , 80
  607. /* 590 */ , 80
  608. /* 591 */ , 80
  609. /* 592 */
  610. /* 593 */
  611. /* 594 */
  612. /* 595 */ , 21
  613. /* 596 */
  614. /* 597 */
  615. /* 598 */
  616. /* 599 */
  617. /* 600 */ , 75 , 72
  618. /* 601 */ , 75 , 72
  619. /* 602 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76 , 94
  620. /* 603 */
  621. /* 604 */
  622. /* 605 */
  623. /* 606 */ , 77
  624. /* 607 */
  625. /* 608 */
  626. /* 609 */ , 43
  627. /* 610 */
  628. /* 611 */ , 75 , 80
  629. /* 612 */
  630. /* 613 */
  631. /* 614 */
  632. /* 615 */ , 80
  633. /* 616 */ , 35 , 65 , 3 , 66 , 67 , 68 , 36 , 37 , 71 , 74 , 76
  634. /* 617 */ , 80
  635. /* 618 */ , 80
  636. /* 619 */
  637. /* 620 */
  638. /* 621 */ , 3 , 66 , 65 , 35 , 36 , 37 , 67 , 68 , 74 , 71 , 76
  639. /* 622 */ , 15 , 4 , 57
  640. /* 623 */ , 77 , 70 , 71 , 80
  641. /* 624 */ , 80 , 18
  642. /* 625 */
  643. /* 626 */ , 66 , 65 , 3 , 35 , 36 , 37 , 67 , 68 , 74 , 71 , 76
  644. /* 627 */
  645. /* 628 */
  646. /* 629 */
  647. /* 630 */
  648. /* 631 */ , 30
  649. /* 632 */
  650. /* 633 */
  651. /* 634 */
  652. /* 635 */
  653. /* 636 */
  654. /* 637 */ , 68 , 65 , 67 , 21
  655. /* 638 */
  656. /* 639 */ , 34
  657. /* 640 */ , 48
  658. /* 641 */ , 80
  659. /* 642 */ , 12 , 65
  660. /* 643 */ , 75 , 72
  661. /* 644 */
  662. /* 645 */
  663. /* 646 */
  664. /* 647 */ , 25 , 21
  665. /* 648 */ , 65
  666. /* 649 */
  667. /* 650 */
  668. /* 651 */
  669. /* 652 */
  670. /* 653 */ , 65
  671. /* 654 */ , 65 , 3 , 35 , 66 , 67 , 37 , 36 , 68 , 74 , 71 , 76
  672. /* 655 */
  673. /* 656 */ , 67 , 65 , 68
  674. /* 657 */ , 38
  675. /* 658 */
  676. /* 659 */ , 84 , 85
  677. /* 660 */ , 65 , 67 , 68
  678. /* 661 */
  679. /* 662 */
  680. /* 663 */
  681. /* 664 */
  682. /* 665 */
  683. /* 666 */ , 19 , 39
  684. /* 667 */ , 33 , 2 , 65 , 4 , 37 , 67 , 68 , 39 , 43 , 10 , 12 , 15 , 14 , 46 , 19 , 21 , 51 , 53 , 25 , 24 , 28 , 29 , 92 , 62
  685. /* 668 */
  686. /* 669 */ , 19 , 39
  687. /* 670 */ , 85
  688. /* 671 */
  689. /* 672 */ , 80
  690. /* 673 */
  691. /* 674 */
  692. /* 675 */
  693. /* 676 */
  694. /* 677 */
  695. /* 678 */
  696. /* 679 */
  697. /* 680 */ , 72
  698. /* 681 */ , 64 , 34 , 36 , 39 , 69 , 70 , 7 , 71 , 72 , 74 , 73 , 76 , 75 , 78 , 77 , 47 , 79 , 49 , 81 , 82 , 83 , 86 , 87 , 89 , 90
  699.  , 91 , 30
  700. /* 682 */
  701. /* 683 */ , 23
  702. /* 684 */ , 21
  703. /* 685 */ , 52
  704. /* 686 */ , 61 , 43
  705. /* 687 */
  706. /* 688 */
  707. /* 689 */ , 48
  708. /* 690 */ , 9 , 70 , 71 , 77
  709. /* 691 */ , 43
  710. /* 692 */ , 3 , 66 , 35 , 65 , 68 , 67 , 36 , 37 , 71 , 74 , 76
  711. /* 693 */
  712. /* 694 */
  713. /* 695 */
  714. /* 696 */
  715. /* 697 */ , 79
  716. /* 698 */ , 65
  717. /* 699 */ , 68 , 65
  718. /* 700 */
  719. /* 701 */ , 23
  720. /* 702 */ , 43
  721. /* 703 */
  722. /* 704 */ , 65
  723. /* 705 */ , 71
  724. /* 706 */ , 80
  725. /* 707 */
  726. /* 708 */
  727. /* 709 */ , 71 , 47 , 70 , 77
  728. /* 710 */ , 65
  729. /* 711 */ , 40 , 65
  730. /* 712 */
  731. /* 713 */ , 77 , 71 , 70
  732. /* 714 */
  733. /* 715 */
  734. /* 716 */
  735. /* 717 */ , 21
  736. /* 718 */
  737. /* 719 */
  738. /* 720 */
  739. /* 721 */
  740. /* 722 */
  741. /* 723 */ , 21
  742. /* 724 */ , 71
  743. /* 725 */ , 21
  744. /* 726 */ , 33
  745. /* 727 */ , 3 , 35 , 65 , 66 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  746. /* 728 */
  747. /* 729 */
  748. /* 730 */ , 65 , 3 , 35 , 66 , 37 , 36 , 67 , 68 , 74 , 40 , 71 , 76
  749. /* 731 */ , 20 , 19
  750. /* 732 */ , 43
  751. /* 733 */ , 80
  752. /* 734 */ , 3 , 65 , 66 , 35 , 37 , 36 , 68 , 67 , 71 , 74 , 76
  753. /* 735 */ , 80
  754. /* 736 */ , 43
  755. /* 737 */ , 43
  756. /* 738 */ , 65 , 43 , 12 , 21 , 61
  757. /* 739 */ , 65
  758. /* 740 */ , 31
  759. /* 741 */
  760. /* 742 */ , 21
  761. /* 743 */ , 43
  762. /* 744 */
  763. /* 745 */ , 80
  764. /* 746 */
  765. /* 747 */ , 66 , 3 , 35 , 65 , 37 , 36 , 67 , 68 , 74 , 71 , 76
  766. /* 748 */
  767. /* 749 */ , 94
  768. /* 750 */
  769. /* 751 */
  770. /* 752 */
  771. /* 753 */ , 43 , 15
  772. /* 754 */ , 21
  773. /* 755 */ , 43 , 61
  774. /* 756 */ , 53
  775. /* 757 */
  776. /* 758 */ , 43
  777. /* 759 */ , 43
  778. /* 760 */ , 65
  779. /* 761 */
  780. /* 762 */ , 65
  781. /* 763 */ , 65
  782. /* 764 */
  783. /* 765 */ , 61 , 21
  784. /* 766 */
  785. /* 767 */ , 3 , 35 , 65 , 66 , 36 , 37 , 67 , 68 , 71 , 74 , 76
  786. /* 768 */ , 21
  787. /* 769 */
  788. /* 770 */ , 47
  789. /* 771 */
  790. /* 772 */ , 88
  791. /* 773 */
  792. /* 774 */ , 65
  793. /* 775 */
  794. /* 776 */ , 72
  795. /* 777 */ , 21
  796. /* 778 */ , 53
  797. /* 779 */
  798. /* 780 */ , 80
  799. /* 781 */ , 80
  800. /* 782 */ , 80
  801. /* 783 */ , 80
  802. /* 784 */
  803. /* 785 */ , 12
  804. /* 786 */ , 84 , 85
  805. /* 787 */ , 58
  806. /* 788 */ , 29
  807. /* 789 */ , 65 , 66 , 35 , 3 , 67 , 36 , 37 , 68 , 74 , 71 , 76
  808. /* 790 */ , 80
  809. /* 791 */ , 61 , 43
  810. /* 792 */ , 80
  811. /* 793 */ , 71
  812. /* 794 */ , 53
  813. /* 795 */ , 80
  814. /* 796 */
  815. /* 797 */
  816. /* 798 */
  817. /* 799 */
  818. /* 800 */ , 80
  819. /* 801 */
  820. /* 802 */
  821. /* 803 */ , 80
  822. /* 804 */ , 80
  823. /* 805 */
  824. /* 806 */
  825. /* 807 */ , 3 , 35 , 65 , 66 , 68 , 36 , 67 , 37 , 71 , 74 , 40 , 76
  826. /* 808 */
  827. /* 809 */
  828. /* 810 */ , 80
  829. /* 811 */
  830. /* 812 */
  831. /* 813 */
  832. /* 814 */
  833. /* 815 */
  834. /* 816 */
  835. /* 817 */ , 21 , 61
  836. /* 818 */
  837. /* 819 */
  838. /* 820 */
  839. /* 821 */ , 12
  840. /* 822 */ , 85 , 84
  841. /* 823 */ , 80
  842. /* 824 */
  843. /* 825 */
  844. /* 826 */ };
  845.  
  846. /* ACTION_TOKENS_INDEX */
  847.  
  848. int ACTION_TOKENS_INDEX[] = {
  849. 0,
  850. 0,
  851. 0,
  852. 1,
  853. 7,
  854. 7,
  855. 8,
  856. 8,
  857. 9,
  858. 14,
  859. 15,
  860. 16,
  861. 16,
  862. 17,
  863. 17,
  864. 17,
  865. 18,
  866. 18,
  867. 21,
  868. 22,
  869. 24,
  870. 25,
  871. 27,
  872. 27,
  873. 27,
  874. 27,
  875. 27,
  876. 27,
  877. 28,
  878. 28,
  879. 30,
  880. 30,
  881. 30,
  882. 31,
  883. 42,
  884. 43,
  885. 44,
  886. 44,
  887. 44,
  888. 44,
  889. 47,
  890. 47,
  891. 47,
  892. 49,
  893. 50,
  894. 50,
  895. 51,
  896. 51,
  897. 52,
  898. 54,
  899. 54,
  900. 54,
  901. 54,
  902. 55,
  903. 56,
  904. 57,
  905. 57,
  906. 57,
  907. 57,
  908. 57,
  909. 58,
  910. 65,
  911. 72,
  912. 73,
  913. 73,
  914. 73,
  915. 73,
  916. 73,
  917. 73,
  918. 73,
  919. 85,
  920. 85,
  921. 85,
  922. 85,
  923. 88,
  924. 88,
  925. 88,
  926. 88,
  927. 92,
  928. 92,
  929. 101,
  930. 104,
  931. 122,
  932. 123,
  933. 124,
  934. 125,
  935. 126,
  936. 129,
  937. 130,
  938. 130,
  939. 131,
  940. 131,
  941. 133,
  942. 133,
  943. 134,
  944. 136,
  945. 136,
  946. 136,
  947. 137,
  948. 138,
  949. 138,
  950. 140,
  951. 141,
  952. 142,
  953. 143,
  954. 144,
  955. 145,
  956. 155,
  957. 155,
  958. 156,
  959. 156,
  960. 157,
  961. 158,
  962. 158,
  963. 160,
  964. 161,
  965. 162,
  966. 162,
  967. 169,
  968. 169,
  969. 169,
  970. 172,
  971. 172,
  972. 172,
  973. 172,
  974. 176,
  975. 176,
  976. 192,
  977. 192,
  978. 192,
  979. 192,
  980. 197,
  981. 201,
  982. 201,
  983. 213,
  984. 222,
  985. 222,
  986. 222,
  987. 222,
  988. 222,
  989. 222,
  990. 231,
  991. 231,
  992. 231,
  993. 231,
  994. 232,
  995. 232,
  996. 232,
  997. 232,
  998. 232,
  999. 232,
  1000. 232,
  1001. 232,
  1002. 243,
  1003. 243,
  1004. 254,
  1005. 265,
  1006. 276,
  1007. 277,
  1008. 288,
  1009. 300,
  1010. 312,
  1011. 313,
  1012. 324,
  1013. 335,
  1014. 335,
  1015. 336,
  1016. 337,
  1017. 338,
  1018. 338,
  1019. 339,
  1020. 340,
  1021. 342,
  1022. 343,
  1023. 343,
  1024. 345,
  1025. 345,
  1026. 345,
  1027. 345,
  1028. 345,
  1029. 345,
  1030. 345,
  1031. 345,
  1032. 345,
  1033. 345,
  1034. 345,
  1035. 345,
  1036. 345,
  1037. 348,
  1038. 348,
  1039. 348,
  1040. 348,
  1041. 348,
  1042. 348,
  1043. 348,
  1044. 348,
  1045. 348,
  1046. 348,
  1047. 348,
  1048. 348,
  1049. 349,
  1050. 349,
  1051. 349,
  1052. 349,
  1053. 350,
  1054. 352,
  1055. 353,
  1056. 354,
  1057. 355,
  1058. 356,
  1059. 358,
  1060. 361,
  1061. 361,
  1062. 361,
  1063. 361,
  1064. 361,
  1065. 361,
  1066. 362,
  1067. 363,
  1068. 364,
  1069. 365,
  1070. 369,
  1071. 369,
  1072. 370,
  1073. 381,
  1074. 381,
  1075. 382,
  1076. 382,
  1077. 384,
  1078. 386,
  1079. 386,
  1080. 397,
  1081. 408,
  1082. 408,
  1083. 408,
  1084. 408,
  1085. 408,
  1086. 408,
  1087. 408,
  1088. 408,
  1089. 408,
  1090. 408,
  1091. 408,
  1092. 408,
  1093. 408,
  1094. 408,
  1095. 424,
  1096. 428,
  1097. 428,
  1098. 428,
  1099. 439,
  1100. 439,
  1101. 439,
  1102. 439,
  1103. 439,
  1104. 450,
  1105. 450,
  1106. 461,
  1107. 461,
  1108. 472,
  1109. 472,
  1110. 483,
  1111. 483,
  1112. 483,
  1113. 485,
  1114. 485,
  1115. 486,
  1116. 487,
  1117. 487,
  1118. 488,
  1119. 489,
  1120. 490,
  1121. 496,
  1122. 497,
  1123. 498,
  1124. 502,
  1125. 503,
  1126. 514,
  1127. 514,
  1128. 515,
  1129. 516,
  1130. 517,
  1131. 518,
  1132. 519,
  1133. 522,
  1134. 525,
  1135. 526,
  1136. 527,
  1137. 528,
  1138. 528,
  1139. 528,
  1140. 531,
  1141. 534,
  1142. 535,
  1143. 536,
  1144. 538,
  1145. 541,
  1146. 543,
  1147. 545,
  1148. 547,
  1149. 549,
  1150. 550,
  1151. 550,
  1152. 550,
  1153. 551,
  1154. 552,
  1155. 553,
  1156. 555,
  1157. 557,
  1158. 558,
  1159. 558,
  1160. 558,
  1161. 570,
  1162. 570,
  1163. 581,
  1164. 593,
  1165. 593,
  1166. 594,
  1167. 594,
  1168. 596,
  1169. 607,
  1170. 611,
  1171. 611,
  1172. 611,
  1173. 611,
  1174. 611,
  1175. 611,
  1176. 612,
  1177. 612,
  1178. 612,
  1179. 614,
  1180. 614,
  1181. 615,
  1182. 615,
  1183. 615,
  1184. 616,
  1185. 617,
  1186. 618,
  1187. 618,
  1188. 618,
  1189. 619,
  1190. 620,
  1191. 621,
  1192. 622,
  1193. 623,
  1194. 623,
  1195. 623,
  1196. 623,
  1197. 623,
  1198. 623,
  1199. 626,
  1200. 626,
  1201. 626,
  1202. 626,
  1203. 627,
  1204. 627,
  1205. 652,
  1206. 677,
  1207. 677,
  1208. 678,
  1209. 678,
  1210. 678,
  1211. 693,
  1212. 696,
  1213. 707,
  1214. 711,
  1215. 711,
  1216. 720,
  1217. 720,
  1218. 720,
  1219. 722,
  1220. 723,
  1221. 724,
  1222. 725,
  1223. 726,
  1224. 727,
  1225. 728,
  1226. 736,
  1227. 738,
  1228. 742,
  1229. 744,
  1230. 745,
  1231. 746,
  1232. 750,
  1233. 751,
  1234. 752,
  1235. 752,
  1236. 753,
  1237. 753,
  1238. 754,
  1239. 754,
  1240. 755,
  1241. 756,
  1242. 756,
  1243. 756,
  1244. 757,
  1245. 758,
  1246. 759,
  1247. 769,
  1248. 769,
  1249. 769,
  1250. 769,
  1251. 781,
  1252. 781,
  1253. 785,
  1254. 786,
  1255. 787,
  1256. 798,
  1257. 799,
  1258. 801,
  1259. 802,
  1260. 802,
  1261. 802,
  1262. 807,
  1263. 808,
  1264. 819,
  1265. 820,
  1266. 820,
  1267. 820,
  1268. 820,
  1269. 822,
  1270. 833,
  1271. 835,
  1272. 837,
  1273. 838,
  1274. 864,
  1275. 864,
  1276. 864,
  1277. 864,
  1278. 865,
  1279. 868,
  1280. 879,
  1281. 880,
  1282. 891,
  1283. 892,
  1284. 897,
  1285. 898,
  1286. 898,
  1287. 898,
  1288. 898,
  1289. 898,
  1290. 898,
  1291. 898,
  1292. 898,
  1293. 898,
  1294. 898,
  1295. 898,
  1296. 898,
  1297. 898,
  1298. 898,
  1299. 898,
  1300. 899,
  1301. 904,
  1302. 905,
  1303. 916,
  1304. 927,
  1305. 927,
  1306. 927,
  1307. 927,
  1308. 927,
  1309. 927,
  1310. 927,
  1311. 928,
  1312. 939,
  1313. 939,
  1314. 940,
  1315. 941,
  1316. 942,
  1317. 943,
  1318. 943,
  1319. 943,
  1320. 943,
  1321. 954,
  1322. 955,
  1323. 966,
  1324. 967,
  1325. 967,
  1326. 969,
  1327. 969,
  1328. 969,
  1329. 969,
  1330. 969,
  1331. 969,
  1332. 969,
  1333. 969,
  1334. 969,
  1335. 970,
  1336. 971,
  1337. 971,
  1338. 971,
  1339. 972,
  1340. 973,
  1341. 974,
  1342. 974,
  1343. 974,
  1344. 974,
  1345. 974,
  1346. 974,
  1347. 974,
  1348. 985,
  1349. 986,
  1350. 986,
  1351. 986,
  1352. 987,
  1353. 989,
  1354. 989,
  1355. 989,
  1356. 989,
  1357. 991,
  1358. 991,
  1359. 991,
  1360. 992,
  1361. 993,
  1362. 994,
  1363. 994,
  1364. 994,
  1365. 994,
  1366. 994,
  1367. 994,
  1368. 994,
  1369. 994,
  1370. 995,
  1371. 995,
  1372. 997,
  1373. 998,
  1374. 998,
  1375. 998,
  1376. 1002,
  1377. 1002,
  1378. 1013,
  1379. 1013,
  1380. 1013,
  1381. 1014,
  1382. 1014,
  1383. 1016,
  1384. 1016,
  1385. 1017,
  1386. 1017,
  1387. 1018,
  1388. 1019,
  1389. 1022,
  1390. 1023,
  1391. 1025,
  1392. 1026,
  1393. 1026,
  1394. 1027,
  1395. 1027,
  1396. 1038,
  1397. 1043,
  1398. 1043,
  1399. 1048,
  1400. 1049,
  1401. 1050,
  1402. 1051,
  1403. 1062,
  1404. 1063,
  1405. 1063,
  1406. 1063,
  1407. 1063,
  1408. 1064,
  1409. 1065,
  1410. 1065,
  1411. 1066,
  1412. 1067,
  1413. 1067,
  1414. 1069,
  1415. 1069,
  1416. 1069,
  1417. 1069,
  1418. 1069,
  1419. 1070,
  1420. 1072,
  1421. 1072,
  1422. 1072,
  1423. 1072,
  1424. 1072,
  1425. 1072,
  1426. 1072,
  1427. 1072,
  1428. 1072,
  1429. 1072,
  1430. 1072,
  1431. 1073,
  1432. 1074,
  1433. 1075,
  1434. 1076,
  1435. 1077,
  1436. 1088,
  1437. 1088,
  1438. 1089,
  1439. 1090,
  1440. 1091,
  1441. 1091,
  1442. 1091,
  1443. 1091,
  1444. 1092,
  1445. 1092,
  1446. 1092,
  1447. 1092,
  1448. 1092,
  1449. 1094,
  1450. 1096,
  1451. 1108,
  1452. 1108,
  1453. 1108,
  1454. 1108,
  1455. 1109,
  1456. 1109,
  1457. 1109,
  1458. 1110,
  1459. 1110,
  1460. 1112,
  1461. 1112,
  1462. 1112,
  1463. 1112,
  1464. 1113,
  1465. 1124,
  1466. 1125,
  1467. 1126,
  1468. 1126,
  1469. 1126,
  1470. 1137,
  1471. 1140,
  1472. 1144,
  1473. 1146,
  1474. 1146,
  1475. 1157,
  1476. 1157,
  1477. 1157,
  1478. 1157,
  1479. 1157,
  1480. 1158,
  1481. 1158,
  1482. 1158,
  1483. 1158,
  1484. 1158,
  1485. 1158,
  1486. 1162,
  1487. 1162,
  1488. 1163,
  1489. 1164,
  1490. 1165,
  1491. 1167,
  1492. 1169,
  1493. 1169,
  1494. 1169,
  1495. 1169,
  1496. 1171,
  1497. 1172,
  1498. 1172,
  1499. 1172,
  1500. 1172,
  1501. 1172,
  1502. 1173,
  1503. 1184,
  1504. 1184,
  1505. 1187,
  1506. 1188,
  1507. 1188,
  1508. 1190,
  1509. 1193,
  1510. 1193,
  1511. 1193,
  1512. 1193,
  1513. 1193,
  1514. 1193,
  1515. 1195,
  1516. 1219,
  1517. 1219,
  1518. 1221,
  1519. 1222,
  1520. 1222,
  1521. 1223,
  1522. 1223,
  1523. 1223,
  1524. 1223,
  1525. 1223,
  1526. 1223,
  1527. 1223,
  1528. 1223,
  1529. 1224,
  1530. 1251,
  1531. 1251,
  1532. 1252,
  1533. 1253,
  1534. 1254,
  1535. 1256,
  1536. 1256,
  1537. 1256,
  1538. 1257,
  1539. 1261,
  1540. 1262,
  1541. 1273,
  1542. 1273,
  1543. 1273,
  1544. 1273,
  1545. 1273,
  1546. 1274,
  1547. 1275,
  1548. 1277,
  1549. 1277,
  1550. 1278,
  1551. 1279,
  1552. 1279,
  1553. 1280,
  1554. 1281,
  1555. 1282,
  1556. 1282,
  1557. 1282,
  1558. 1286,
  1559. 1287,
  1560. 1289,
  1561. 1289,
  1562. 1292,
  1563. 1292,
  1564. 1292,
  1565. 1292,
  1566. 1293,
  1567. 1293,
  1568. 1293,
  1569. 1293,
  1570. 1293,
  1571. 1293,
  1572. 1294,
  1573. 1295,
  1574. 1296,
  1575. 1297,
  1576. 1308,
  1577. 1308,
  1578. 1308,
  1579. 1320,
  1580. 1322,
  1581. 1323,
  1582. 1324,
  1583. 1335,
  1584. 1336,
  1585. 1337,
  1586. 1338,
  1587. 1343,
  1588. 1344,
  1589. 1345,
  1590. 1345,
  1591. 1346,
  1592. 1347,
  1593. 1347,
  1594. 1348,
  1595. 1348,
  1596. 1359,
  1597. 1359,
  1598. 1360,
  1599. 1360,
  1600. 1360,
  1601. 1360,
  1602. 1362,
  1603. 1363,
  1604. 1365,
  1605. 1366,
  1606. 1366,
  1607. 1367,
  1608. 1368,
  1609. 1369,
  1610. 1369,
  1611. 1370,
  1612. 1371,
  1613. 1371,
  1614. 1373,
  1615. 1373,
  1616. 1384,
  1617. 1385,
  1618. 1385,
  1619. 1386,
  1620. 1386,
  1621. 1387,
  1622. 1387,
  1623. 1388,
  1624. 1388,
  1625. 1389,
  1626. 1390,
  1627. 1391,
  1628. 1391,
  1629. 1392,
  1630. 1393,
  1631. 1394,
  1632. 1395,
  1633. 1395,
  1634. 1396,
  1635. 1398,
  1636. 1399,
  1637. 1400,
  1638. 1411,
  1639. 1412,
  1640. 1414,
  1641. 1415,
  1642. 1416,
  1643. 1417,
  1644. 1418,
  1645. 1418,
  1646. 1418,
  1647. 1418,
  1648. 1418,
  1649. 1419,
  1650. 1419,
  1651. 1419,
  1652. 1420,
  1653. 1421,
  1654. 1421,
  1655. 1421,
  1656. 1433,
  1657. 1433,
  1658. 1433,
  1659. 1434,
  1660. 1434,
  1661. 1434,
  1662. 1434,
  1663. 1434,
  1664. 1434,
  1665. 1434,
  1666. 1436,
  1667. 1436,
  1668. 1436,
  1669. 1436,
  1670. 1437,
  1671. 1439,
  1672. 1440,
  1673. 1440,
  1674. 1440,
  1675. 1440 } ;
  1676.